1. Buchi's monadic second order successor arithmetic
المؤلف: Siefkes, Dirk
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
2. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
موضوع : ، Predicate calculus,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Buchi`s monadic second order successor arithmetic
المؤلف: Siefkes
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Predicate calculus,Sequential machine theory
رده :
QA
3
.
L28
no
.
120
